Transformation of SBVR Compliant Business Rules to Executable FCL Rules

نویسندگان

  • Aqueo Kamada
  • Guido Governatori
  • Shazia Wasim Sadiq
چکیده

The main source of changing requirements of the dynamic business environment is response to changes in regulations and contracts towards which businesses are obligated to comply. At the same time, many organizations have their business processes specified independently of their business obligations (which include adherence to contracts laws and regulations). Thus, the problem of mapping business changes into computational systems becomes much more complicated. In this paper we address the problem by providing an automated transformation of business rules into a formal language capable of directly mapping onto executable specifications. The model transformation is consistent with MDA/MOF/QVT concepts using ATL to perform the mapping. Business rules are compliant to SBVR metamodel, and are transformed into FCL, a logic based formalism, known to have a direct mapping onto executable specifications. Both, source and target rules are based on principles of deontic logic, the core of which are obligations, permissions and prohibitions.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Generating SQL Queries from SBVR Rules

Declarative technologies have made great strides in expressivity between SQL and SBVR. SBVR models are more expressive that SQL schemas, but not as imminently executable yet. In this paper, we complete the architecture of a system that can execute SBVR models. We do this by describing how SBVR rules can be transformed into SQL DML so that they can be automatically checked against the database u...

متن کامل

Automated transformation of Business Rules into Business Processes From SBVR to BPMN

this paper presents a novel approach for transforming Business Rules expressed with Semantic of Business Vocabulary and Rules (SBVR) into (BPMN) Business Process models. This transformation provides several benefits to Information System project stakeholders, such as: enhancing requirement validation and refinement, improving Business Processes documentation, and reducing their overall modeling...

متن کامل

SBVR based Business Contract and Business Rule IDE

We propose an IDE – Integrated Development Environment to model SBVR (Semantic of Business Vocabulary and Business Rule) compliant business rules [2] extracted from business contract of services and store them in an ontological structure of rules, facts and terms as defined in the SBVR metamodel. Business rules are based on principles of deontic logic for treating expressions in the form of nor...

متن کامل

Transformation Rules for Translating Business Rules to OCL Constraints

In design of component based applications, the designers have to produce visual such as Unified Modeling Language (UML) models, and describe the software component interfaces. Business rules and constraints are the key components in the skeletons of software components. Semantic of Business Vocabulary and Rules (SBVR) language is typically used to express constraints in natural language and the...

متن کامل

Semantics in Model-Driven Business Design

This position paper describes ongoing work in applying the new OMG standard called Semantics in Business Vocabulary and Rules (SBVR) to a model-based approach to business design and implementation. The work explores methods of specifying semantics and rules in SBVR’s “Structured English” as extensions of business models that are automatically translated to executable solutions. Introduction The...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010